MINIMAL STRUCTURES FOR MODAL TABLEAUX: Some Examples
نویسندگان
چکیده
In this paper we present some examples of decision procedures based on tableau calculus for some monoand multimodal logics having a semantics involving properties that are not easily representable in tree-like structures (like e.g. density, confluence and persistence). We show how to handle them in our framework by generalizing usual tableaux (which are trees) to richer structures: rooted directed acyclic graphs.
منابع مشابه
Luis Fariñas del Cerro Olivier Gasquet MINIMAL STRUCTURES FOR MODAL TABLEAUX : Some Examples
In this paper we present some examples of decision procedures based on tableau calculus for some monoand multimodal logics having a semantics involving properties that are not easily representable in tree-like structures (like e.g. density, confluence and persistence). We show how to handle them in our framework by generalizing usual tableaux (which are trees) to richer structures: rooted direc...
متن کاملDamage detection of structures using modal strain energy with Guyan reduction method
The subject of structural health monitoring and damage identification of structures at the earliest possible stage has been a noteworthy topic for researchers in the last years. Modal strain energy (MSE) based index is one of the efficient methods which are commonly used for detecting damage in structures. It is also more effective and economical to employ some methods for reducing the degrees ...
متن کاملOPTIMUM WEIGHTED MODE COMBINATION FOR NONLINEAR STATIC ANALYSIS OF STRUCTURES
In recent years some multi-mode pushover procedures taking into account higher mode effects, have been proposed. The responses of considered modes are combined by the quadratic combination rules, while using the elastic modal combination rules in the inelastic phases is not valid. Here, an optimum weighted mode combination method for nonlinear static analysis is presented. Genetic algorithm is ...
متن کاملA New Modal Approach to the Logic of Intervals
In Artificial Intelligence there is a need for reasoning about continuous processes, where assertions refer to time intervals rather than time points. Taking our lead from van Benthem’s treatment of interval temporal structures and Halpern and Shoham’s work on intervals, we present a interval temporal logic with two binary relations, precedence and inclusion. We study the logic in its full gene...
متن کاملA Minimal Hybrid Logic for Intervals
Taking our inspiration from van Benthem’s treatment of temporal interval structures, and Halpern and Shoham’s work on intervals, we introduce an interval hybrid temporal logic with two binary relations, precedence and inclusion, for talking about interval temporal structures. This paper can be seen as an continuation of the work began in an earlier paper, in which we undertook a purely modal tr...
متن کامل